TSTP Solution File: NUM706^4 by SInE---0.4